大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

New Developments in Formal Languages and Applications [electronic resource]

0
索取号：
作者：Bel-Enguix、 Gemma.、Jim茅nez-L贸pez、 M. Dolores.、Mart铆n-Vide、 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

VizSEC 2007 [electronic resource] : Proceedings of the Workshop on Visualization for Computer Security

0
索取号：
作者：Goodall、 John R.、Conti、 Gregory.、Ma、 Kwan-Liu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers

0
索取号：
作者：Satoh、 Ken.、Inokuchi、 Akihiro.、Nagao、 Katashi.、Kawamura、 Takahiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Robot Vision [electronic resource] : Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008. Proceedings

0
索取号：
作者：Sommer、 Gerald.、Klette、 Reinhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Pillars of Computer Science [electronic resource] : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

0
索取号：
作者：Avron、 Arnon.、Dershowitz、 Nachum.、Rabinovich、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

0
索取号：
作者：Yorav、 Karen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [electronic resource] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

0
索取号：
作者：Tuyls、 Karl.、Nowe、 Ann.、Guessoum、 Zahia.、Kudenko、 Daniel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Hybrid RANS-LES Modelling [electronic resource] : Papers contributed to the 2007 Symposium of Hybrid RANS-LES Methods, Corfu, Greece, 17-18 June 2007

0
索取号：
作者：Peng、 Shia-Hui.、Haase、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

New Computational Methods in Power System Reliability [electronic resource]

0
索取号：
作者：Elmakias、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

High-Performance Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

0
索取号：
作者：Labarta、 Jes煤s.、Joe、 Kazuki.、Sato、 Toshinori.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

0
索取号：
作者：Hartmann、 Sven.、Kern-Isberner、 Gabriele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Architectures, Components, and Applications [electronic resource] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

0
索取号：
作者：Overhage、 Sven.、Szyperski、 Clemens A.、Reussner、 Ralf.、Stafford、 Judith A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Rationale-Based Software Engineering [electronic resource]

0
索取号：
作者：Burge、 Janet E.、Carroll、 John M.、McCall、 Raymond.、Mistrik、 Ivan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

SOFSEM 2008: Theory and Practice of Computer Science [electronic resource] : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov媒 Smokovec, Slovakia, January 19-25, 2008. Proceedings

0
索取号：
作者：Geffert、 Viliam.、Karhum盲ki、 Juhani.、Bertoni、 Alberto.、Preneel、 Bart.、N谩vrat、 Pavol.、Bielikov谩、 M谩ria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Graph Drawing [electronic resource] : 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers

0
索取号：
作者：Hong、 Seok-Hee.、Nishizeki、 Takao.、Quan、 Wu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

The Territorial Future of the City [electronic resource]

0
索取号：
作者：Maciocco、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院